منابع مشابه
Fair decomposition of group obligations
We consider the problem of decomposing a group norm into a set of individual obligations for the agents comprising the group, such that if the individual obligations are fulfilled, the group obligation is fulfilled. Such an assignment of tasks to agents is often subject to additional social or organisational norms that specify permissible ways in which tasks can be assigned. An important role o...
متن کاملFair Distribution of Collective Obligations
In social mechanism design, obligation distribution creates individual or contractual obligations that imply a collective obligation. A distinguishing feature from group planning is that also the sanction of the collective obligation has to be distributed, for example by creating sanctions for the individual or contractual obligations. In this paper we address fairness in obligation distributio...
متن کاملArchitectural Specifications, Proof Obligations, and Decomposition
Architectural specifications can express correctness requirements of concurrent systems at a high level without any reference to component functionality. Then proof obligations derived from such specifications can be discharged as model checking tasks in a suitable behavioral model where components are assigned their respective functionalities. This paper proposes such an approach. The architec...
متن کاملFair Traceable Multi-Group Signatures
This paper presents fair traceable multi-group signatures (FTMGS), which have enhanced capabilities, compared to group and traceable signatures, that are important in real world scenarios combining accountability and anonymity. The main goal of the primitive is to allow multiple groups that are managed separately (managers are not even aware of the other ones), yet allowing users (in the spirit...
متن کاملGroup-oriented fair exchange of signatures
In an Optimistic Fair Exchange (OFE) for digital signatures, two parties exchange their signa-tures fairly without requiring any online trusted third party. The third party is only involved whena dispute occurs. In all the previous work, OFE has been considered only in a setting where both ofthe communicating parties are individuals. There is little work discussing about the fair ex...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2017
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exx012